وآن علم (منطق) است.

اگر از براي هر يك وضع شده باشد آن را (مشترك) گويند چون (عين) چه آنكه معنايش (چشم) و(چشمه) است.

واگر از براي يكي از معناها وضع شده باشد لكن در معناي دوم استعمال شد تا آنكه معناي اول متروك شد آن را (منقول) نامند.

ونقل بر سه قسم است:

1: شرعي، چون (صلاة).

2: عرفي، چون (دابه).

3: اصطلاحي، چون (فعل).

واگر از براي يك معني واضع دارد ودر معني ديگر استعمال ميشود لكن معني اول ترك نشده، پس آن لفظ اگر در معني اول استعمال شود (حقيقت) گويند چون (اسد) بالنسبه به شير.

واگر در معني دوم استعمال شود (مجاز) گويند چون (اسد) بالنسبه به شخص شجاع.

وصورت اقسام چنين است:

است كه حقيقت زيد وعمرو وبكر يكي است.

سوم: فصل، وآن كلي مي باشد كه جزء ماهيت وحقيقت ومختص به آن ماهيت وحقيقت است، چون (ناطق) كه جزء ماهيت وحقيقت انسان است، ومختص است به انسان، وهمچنين است (ناهق) نسبت به (حمار).

چهام: خاصه، وآن كلي ميباشد كه خارج است از حقيقت شيء لكن مختص به يك حقيقت وماهيت، چون (ضاحك) كه خارج است از حقيقت انسان لكن مختص است به انسان، چنانكه گفته اند.

پنجم: عرض عام، وآن كلي ميباشد كه خارج است از حقيقت شيء لكن مختص به يك حقيقت وماهيت نيست، چون (ماشي) كه خارج است از حقيقت انسان لكن مختص نيست به انسان، بلكه (فرس) و(بقر) و(غنم) وغيرها، نيز ماشيند.

اقسام كلي

تتمه: هرگاه گوئيم (الإنسان كلي) پس اگر ملاحظه نمائيم موضوع (إنسان) را فقط، آن را (كلي طبيعي) نامند.

واگر ملاحظة نمائيم محمول (كلي) را فقط، آن را (كلي منطقي) گويند.

واگر ملاحظه نمائيم موضوع ومحمول را با هم، آن را (كلي عقلي) نامند.

وصورت كليات خمس را با ملاحظه صحت تقسيم در اين شكل ملاحظه فرمائيد.

رسم ناقص، وآن عبارت است از (خاصه) خواه با چيز ديگر باشد وخواه نباشد، مثلاً در جواب (الإنسان ما هو)؟ گفته ميشود (ضاحك) يا (جسم ضاحك).

اگر حكم بر بعض افراد باشد، چون (بعض الحيوان انسان).

ذهنيه، خارجيه، حقيقيه

تقسيم سوم: قضيه حمليه موجبه به اعتبار وجود موضوعش بر سه قسم است:

اول: ذهنيه، وآن در وقتي است كه موضوع آن در ذهن باشد فقط، چون (اجتماع الضدين محال).

دوم: خارجيه، وآن در وقتي است كه موضوع آن در خارج فقط ملاحظه شود وحكم بر افراد خارجيه باشد، چون (كل مسجد في البلد بانيه زيد).

سوم: حقيقيه، وآن در وقتي است كه حكم شده باشد در قضيه بر هر فرد موجود وهر فردي كه فرض شود وجود او، چون (كل انسان قابل للعلم).

محصله ومعدوله

تقسيم چهارم: قضيه حمليه به اعتبار آن كه حرف سلب جزء يكي از طرفينش باشد يا نباشد، بر دو قسم است:

اول: محصله (به فتح) وآن وقتي است كه حرف سلب جزء هيچكدام از موضوع ومحمول نباشد، خواه موجبه باشد چون (زيد قائم)، وخواه سالبه باشد چون (زيد ليس بقائم).

دوم: معدوله، وآن وقتي است كه حرف سلب جزء يكي از طرفين يا جزء هر دو طرف باشد، خواه موجبه باشد چون (بعض الحي لا عالم)، وخواه سالبه باشد چون (بعض الحي ليس بلا عالم).

مطلقه وموجهه

تقسيم پنجم: قضيه حمليه به اعتبار (جهت) بر دو قسم است:

اول: مطلقه، وآن قضيه اي است كه در او بيان جهت نسبت از ضرورت وامكان ودوام نشده باشد، چون (كل انسان حيوان).

دوم: موجهه، (به فتح) وآن قضيه اي است كه در او بيان جهت شده باشد.

اقسام موجهه

قضيه حمليه موجهه بر دو قسم است:

قسم اول: موجهه بسيطه، وآن در وقتي است كه يك قضيه باشد.

قسم دوم: موجهه مركبه، وآن در وقتي است كه قضيه حل ميشود به دو قضيه، يكي موجبه

وديگري سالبه.

اقسام موجهه بسيطه

واهم اقسام موجهه بسيطه (هشت) است:

اول: ضروريه مطلقه، وآن وقتي است كه محمول از براي موضوع ضرورت داشته باشد ما دام الذات، چون (الإنسان حيوان بالضرورة).

دوم: مشروطه عامه، اگر محمول از براي موضوع ضرورت داشته باشد ما دام الوصف، چون (كل كاتب متحرك الأصابع بالضرورة ما دام كاتباً).

سوم: وقتيه مطلقه، اگر محمول از براي موضوع ضرورت داشته باشد در وقت معين، چون (كل قمر منخسف بالضرورة وقت الحيلوله).

چهارم: منتشره مطلقه، اگر محمول از براي موضوع ضرورت داشته باشد در وقت غير معين، چون (كل انسان متنفس بالضرورة وقتاً ما).

پنجم: دائمه مطلقه، اگر محمول از براي موضوع دوام داشته باشد ما دام الذات، چون (كل فلك متحرك بالدوام).

ششم: عرفيه عامه، اگر محمول از براي موضوع دوام داشته باشد ما دام الوصف، چون (كل حي متحرك الدم بالدوام ما دام حيا).

هفتم: مطلقه عامه، اگر محمول از براي موضوع فعليت داشته باشد، يعني در يكي از ازمنه ثلاثه باشد، چون (كل انسان ماش بالفعل).

هشتم: ممكنه عامه، وآن قضيه اي است كه دلالت ميكند بر اينكه طرف مقابل قضيه ضروري نيست، پس معني آن قضيه موجبه اين است كه سالبه ضروري نيست، چون (كل انسان كاتب بالامكان العام)، يعني عدم كتابت از براي انسان ضروري نيست، وبالعكس در سالبه.

تتمه: سالبه وموجبه وكليه وجزئيه از قضاياي هشتگانه مانند يكديگرند وهيچ تفاوتي ندارند.

أقسام موجهه مشروطه

اهم اقسام موجهه مشروطه هفت است:

اول: مشروطه خاصه، وآن مشروطه عامه اي است كه مقيد به لا دوام است (ولا دوام اشاره است به مطلقه عامه)، مثالش: (كل كاتب متحرك الأصابع بالضرورة مادام كاتباً لا دائماً) أي لا شيء من الكاتب بمتحرك الأصابع بالفعل.

دوم:

عرفيه خاصه، وآن عرفيه عامه اي است كه مقيد به لا دوام است (ولا دوام اشاره است به مطلقه عامه)، مثالش: (كي حي متحرك الدم بالدوام ما دام حياً لا دائماً) أي لا شيء من الحي بمتحرك الدم بالفعل.

سوم: وقتيه، وآن وقتيه مطلقه است كه مقيد به لا دوام است (ولا دوام اشاره است به مطلقه عامه)، مثالش: (كل قمر منخسف بالضرورة وقت الحيلولة لا دائماً) أي لا شيء من القمر بمنخسف بالفعل.

چهارم: منتشره، وآن منتشره مطلقه است كه مقيد به لا دوام است (ولا دوام اشاره است به مطلقه عامه)، مثالش: (كل انسان متنفس بالضرورة وقتاً ما لا دائماً) أي لا شيء من الإنسان بمتنفس بالفعل.

پنجم: وجوديه لا ضروريه، وآن مطلقه عامه است كه مقيد به لا ضرورة است (ولا ضرورة اشاره است به ممكنه عامه) مثالش: (كل انسان ماش بالفعل لا بالضرورة) أي لا شيء من الإنسان بماش بالامكان العام.

ششم: وجوديه لا دائمه، وآن مطلقه عامه است كه مقيد به لا دوام است (ولا دوام اشاره است به مطلقه عامه) مثالش: (كل انسان ماش بالفعل لا دائماً) أي لا شيء من الإنسان ماش بالفعل.

هفتم: ممكنه خاصه، وآن ممكنه عامه است كه مقيد به لا ضرورة است (ولا ضرورة اشاره است به ممكنه عامه) مثالش: (كل انسان كاتب بالامكان الخاص) ومعني تمام قضيه (كل انسان كاتب بالامكان العام، ولا شيء من الإنسان بكاتب بالامكان العام)، وچون (بالامكان الخاص) به منزلة (بالامكان العام لا بالضرورة) است، در مثال بالامكان الخاص آورديم.

تتمه: سالبه مانند موجبه است در قضاياي سبعه مذكوره.

وشكل تقسيمات پنجگانه قضيه حمليه چنين است.

او به وجود نسبت بين قضيه وقضيه ديگر، يا به عدم وجود نسبت، ومعلوم باشد كه شرطيه در أصل دو قضيه بوده است، ونام قضيه أول را (مقدّم)، ونام قضيه دوم را (تالي) گذارند.

تقسيمات قضيه شرطيه

واز براي قضيه شرطيه چند تقسيم است:

موجبه وسالبه

تقسيم أول: قضيه شرطيه به اعتبار (كيف) بر دو قسم است:

اول: موجبه، وآن قضيه اي است كه حكم شود در او به نسبت اتصال يا نسبت انفصال بين دو قضيه، چون (إن كانت الشمس طالعة فالنهار موجود) و(العدد إما زوج وإما فرد).

دوم: سالبه، وآن قضيه اي است كه حكم شود در او به سلب اتصال يا سلب انفصال بين دو قضيه، چون (ليس إذا كانت الشمس طالعة كان الليل موجوداً) و(ليس العدد إما زوجاً وإما منقسماً بمتساويين).

متصله ومنفصله

تقسيم دوم: قضيه شرطيه به اعتبار نسبت بر دو قسم است:

اول: متصله، وآن قضيه اي است كه نسبت در او به اتصال بين دو قضيه يا نفي اتصال بين آنها باشد، چون مثال (1) و(3).

دوم: منفصله وآن قضيه اي است كه نسبت در او به انفصال بين دو قضيه يا نفي انفصال بين ايشان باشد، چون مثال (2) و(4).

تنبيهات

در اينجا چند تنبيه است:

لزوميه واتفاقيه

تنبيه1: قضيه متصله باعتبار چگونگي اتصال منقسم شود به دو قسم:

اول: لزوميه، وآن در وقتي است كه تلازم بين طرفين به جهت عليت ومعلوليت باشد، چون (إذا كانت الشمس طالعة فالنهار موجود).

دوم: اتفاقيه، وآن قضيه اي است كه چنان نباشد، چون (كلما جاء زيد جاء عمرو).

عناديه وحقيقيه

تنبيه2: قضيه منفصله باعتبار چگونگي انفصال منقسم شود به دو قسم:

اول: عناديه، وآن وقتي است كه نسبت در هر يك از دو جزء قضيه معاند باشد با

نسبت در جزء ديگر، چون (العدد إما زوج وإما فرد).

دوم: اتفاقيه، وآن وقتي است كه تعاند بين ذات دو نسبت نباشد، چون (إما زيد في الدار وإما خالد).

حقيقيه، مانعة الجمع، مانعة الخلو

تنبيه3: قضيه منفصله باعتبار امكان اجتماع طرفين، وامكان رفع ايشان، وعدم امكان اجتماع يا رفع، منقسم ميشود به سه قسم:

اول: حقيقيه، وآن قضيه اي است كه در ايجاب نه ممكن است اجتماع طرفين ونه ممكن است ارتفاع آنها، ودر سلب اجتماع وارتفاع هر دو ممكن است، مثال موجبه: (العدد إما زوج وإما فرد)، ومثال سالبه: (ليس الحيوان إما ناطق وإما ضاحك).

دوم: مانعة الجمع، وآن قضيه اي است كه در ايجاب ممكن نيست اجتماع طرفين وممكن است ارتفاع ايشان، ودر سلب ممكن است اجتماع طرفين وممكن نيست ارتفاع ايشان، مثالش در موجبه: (الإنسان إما أبيض او أسود) ودر سالبه: (ليس الإنسان إما غير أبيض او غير أسود).

سوم: مانعة الخلو، وآن قضيه اي است كه در ايجاب ممكن است اجتماع طرفين وممكن نيست ارتفاع ايشان، ودر سلب ممكن نيست اجتماع طرفين وممكن است ارتفاع ايشان، مثالش در ايجاب: (زيد إما في البحر وإما ان لا يغرق) ودر سلب: (ليس الإنسان إما أبيض او أسود).

شخصيه، مهمله، محصوره

تقسيم سوم: قضيه شرطيه باعتبار أزمان وأحوال منقسم ميشود به سه قسم:

اول: شخصيه، وآن وقتي است كه حكم در زمان يا حال معيني باشد، چون (إن جئتني اليوم أكرمتك).

دوم: مهمله، وآن وقتي است كه حكم در زمان يا حال في الجمله باشد، چون (إذا كان الجسم حيواناً كان فرساً).

سوم: محصوره، وآن وقتي است كه كميه احوال وازمان حكم بيان شود، وآن يا (كليه) است چون (كلما كانت الشمس طالعة كان النهار

موجوداً)، ويا (جزئيه) است چون (قد يكون إذا كان الجسم حيواناً كان انساناً).

وشكل تقسيمات شرطيه چنين است:

كه (موجبه كليه نقيض سالبه جزئيه وبالعكس) و(موجبه جزئيه نقيض سالبه كليه وبالعكس) ميباشد.

3: جهت، يعني جهت هر يك نقيض جهت ديگري باشد، پس بين (كل انسان كاتب بالامكان العام) و(ليس بعض الإنسان بكاتب بالامكان العام) تناقض نيست.

وصورت شرائط تناقض اين است.

آنكه أوسط در هر دو محمول است، چون (كل انسان حيوان) و(لا شيء من الحجر بحيوان): (فلا شيء من الإنسان بحجر)، واين را (شكل دوم) نامند.

3: ويا آنكه أوسط در هر دو موضوع است، چون (كل انسان حيوان) و(كل انسان ناطق): (فبعض الحيوان ناطق) واين را (شكل سوم) نامند.

4: ويا آنكه أوسط موضوع در صغري است ومحمول در كبري به عكس اول، چون (كل انسان حيوان) و(كل ناطق انسان): (فبعض الحيوان ناطق)، واين را (شكل چهارم) نامند.

وبعضي به جهت ضبط ترتيب، اشكال را به نظم درآورده اند:

أوسط اگر حمل يافت

در بر صغري وبار

حمل بكبري گرفت

شكل نخستين شمار

حمل بهر دو، دوم

وضع بهر دو، سوم

رابع اشكال را

عكس نخستين بدار

فائده

هريك از اشكال را شرطي است كه بدون آن نتيجه ندهد، وبه جهت سهولت حفظ بعض شرائط را به رمز در اين شعر نظم نموده اند:

مغكب أول، خين كب ثاني، ومنكاين سوم

در چهار مينكغ يا خين كاين شرط دان

يعني شرط است:

در شكل اول: موجبه بودن صغري وكليت كبري.

ودر شكل دوم: اختلاف مقدمتين در ايجاب وسلب وكليت كبري.

ودر شكل سوم: موجبه بودن صغري وكليت احد مقدمتين.

ودر شكل چهارم: يكي از دو شرط است يا ايجاب مقدمتين وكليت صغري، ويا اختلاف مقدمتين در ايجاب وسلب وكليت يكي از مقدمتين.

وبدان كه هرگاه يكي از مقدمتين سالبه شد نتيجه سالبه ميشود، وهرگاه يكي از مقدمتين جزئيه شد نتيجه جزئيه ميشود، مگر در شكل سوم وچهارم كه هميشه نتيجه جزئي است، بلي در شكل چهارم هر گاه صغري سالبه كليه وكبري موجبه كليه باشد نتيجه سالبه كليه ميشود.

وهر يك را از حيث (جهت) شرائطي است كه در مطولات ذكر شده.

قياس اقتراني شرطي

قسم دوم: در

قياس اقتراني شراطي است، وآن عبارت است از قياسي كه در مقدماتش تصريح به نتيجه يا نقيض نتيجه نشده، وبعض مقدمات يا تمام آنها قضيه شرطيه باشد.

ولابد است در اين قياس از: اشتراك مقدمتين در جزئي كه آن به منزله حد وسط است، وبنابراين اشكال اربعه ودر اين قياس في الجمله نيز تصوير مي شود، ليكن مخفي نماند كه به ملاحظه آن جزئي كه هر دو در او مشتركند قياس برسه قسم ميگردد:

اول: آنكه جزئي است، غير تام در هريك از مقدمتين، چون (إذا كان الإنسان حيواناً فالانسان نام)، و(إذا كان النمو قسماً من الحركة فالنامي غير ساكن).

نتيجه: (إذا كان الإنسان حيواناً فإذا كان النمو قسماً من الحركة فالانسان غير ساكن) وچون اين قسم دور است از طباع، متعرض آن نمي شويم.

دوم: آنكه جزئي است، تام در هر يك از مقدمتين.

سوم: آنكه جزئي است، تام در يكي وغير تام در ديگري، چنانچه خواهد آمد.

اقسام قياس اقتراني شرطي

وچون اين را دانستي بدان كه (قياس اقتراني شرطي) منقسم ميشود به پنج قسم.

1: قياسي كه مؤلف باشد از متصلات، چون (كلما كانت الشمس طالعة فالنهار موجود)، و(كلما كان النهار موجوداً فالعالم مضيء).

نتيجه: (كلما كانت الشمس طالعة فالعالم مضيء) واين قياس مانند اقتراني حملي است اگر جزء مشترك در هر دو تام باشد، وبدان كه شرطيه اتفاقيه در اقترانات شرطيه متصله نتيجه ندارد.

2: قياسي كه مؤلف باشد از منفصلات، ومنتج نيست هيچ منفصله مگر آنكه عناديه باشد.

وترتيب در اخذ نتيجه آن است كه هر يك از (حقيقيه) و(مانعة الجمع) و(مانعة الخلو) كه در اطراف واقع است منحل نمايند به متصله، پس ملاحظه بين متصلات شود، هر كدام جامع شرائط انتاج است

قياس سازند پس نتيجه را تحويل به منفصله دهند.

مثلا: قياس مركب از دو حقيقيه منحل ميشود به شانزده صورت، وچند صورت از آن فقط منتج است، چون (إما أن يكون العدد زوجاً وإما أن يكون فرداً)، و(إما أن يكون الزوج زوج الزوج أو يكون زوج الفرد) نتيجه: (اما أن يكون العدد زوج الزوج أو يكون زوج الفرد أو يكون فرداً).

3: قياسي كه مؤلف باشد از متصله ومنفصله، واين قسم مانند قسم سابق است در كيفيت اخذ نتيجه، چون (كلما كان هذا الشيء ثلاثة فهو عدد)، (ودائماً العدد إما أن يكون زوجاً أو فرداً) نتيجه: (كلما كان هذا الشيء ثلاثة فإما أن يكون زوجاً أو فرداً).

4: قياسي كه مؤلف باشد از حمليه ومتصله، واشتراك در اين بين جزء تام است از حمليه وغير تام است از متصله، وترتيب در گرفتن نتيجه آن است كه تأليف قياس شود از طرف شرطيه كه در او شركت است وحمليه با ملاحظه شرائط شكل، پس نتيجه را با جزء ديگر شرطيه ضم نمائيم كه مجموع نتيجه خواهد بود، چون (كلما كان الحيوان انساناً كان ناطقاً)، و(كل ناطق مدرك للكليات)، نتيجه: (كلما كان الحيوان انساناً كان مدركاً للكليات).

5: قياسي كه مؤلف باشد از حمليه ومنفصله، واين مثل قسم سابق است در جزء مشترك، چون (كل ثلاثة عدد)، و(العدد إما زوج وإما فرد)، نتيجه: (فالثلاثة إما زوج وإما فرد).

وترتيب در گرفتن نتيجه آن است كه حد مشترك ساقط شود.

واين قياس منقسم مي شود به مقسّم وغير مقسّم چنانچه حد در مطولات ذكر شده است، واين قدر تفصيل را به جهت آشنا شدن ببعض اصطلاحات ذكر نموديم.

قياس استثنائي

قسم سوم: در بيان قياس استثنائي است،

وآن عبارت است از قياسي كه در مقدماتش تصريح به نتيجه يا نقيض نتيجه شده باشد (جزءً لمقدميه) وبنابراين پس دائماً يك مقدمه اين قياس شرطيه خواهد بود ومقدمه ديگر مشتمل است بر (ادات استثناء)، واز اين جهت آن را قياس استثنائي نام نهادند.

قياس اتصالي وانفصالي

واين قياس به حسب مقدمه شرطيه منقسم ميشود به اتصالي وانفصالي:

1: اما اتصالي، پس اگر استثناء شد عين مقدم، نتيجه ميدهد عين تالي را، واگر استثناء شد نقيض تالي نتيجه ميدهد نقيض مقدم را، چون:

(إن كان هذا انساناً كان حيواناً)..

(لكنه انسان): (فهو حيوان).

(لكنه ليس بحيوان): (فهو ليس بانسان).

اما استثناء نقيض مقدم واستثناء عين تالي منتج نخواهد بود.

اقسام قياس استثنائي انفصالي

2: واما انفصالي پس بر سه قسم است:

اول: هرگاه شرطيه (حقيقيه) باشد پس استثناء عين احد طرفين، نتيجه مي دهد نقيض ديگر را، واستثناء نقيض احد طرفين، نتيجه مي دهد عين ديگر را، چون:

(إما أن يكون هذا العدد زوجاً أو فرداً)..

(لكنه زوج): (فليس بفرد).

(لكنه فرد): (فليس بزوج).

(لكنه ليس بزوج): (فهو فرد).

(لكنه ليس بفرد): (فهو زوج).

وبر همين قياس است شرطيه كه بيشتر از دو جزء داشته باشد، چون (الكلمه اسم أو فعل أو حرف) لكن با هر استثناء واحدي، دو نتيجه عكس وباهر استثناء متعددي، يك نتيجه عكس خواهد داد.

دوم: هر گاه شرطيه (مانعة الجمع) باشد پس استثناء عين أحد طرفين، نتيجه مي دهد نقيض ديگر را، چون:

(اما أن يكون هذا شجراً او حجرا)

(لكنه شجر): (فليس بحجر).

(لكنه حجر): (فليس بشجر).

وبر همين قياس است آن كه بيشتر از دو جزء داشته باشد، چون (اما أن يكون شجراً او حجراً او انساناً).

اما استثناء نقيض احد طرفين منتج نيست الا مجملاً.

سوم: هرگاه شرطيه (مانعة الخلو) باشد، پس استثاء

نقيض احد طرفين، نتيجه ميدهد عين ديگر را، چون:

(اما أن يكون زيد في الماء أو لا يغرق)..

(لكنه ليس في الماء): (فلا يغرق).

(لكنه ليس لا يغرق): (فهو في الماء).

اما استثناء احد طرفين منتج نيست.

عقلاً پس اگر يكي معلوم شد، كلي معلوم مي شود مانند (حصول جمع أعداد متواليه بضرب نصف عدد آخر در عدد آخر مزيداً عليه واحد).

مي تواند هر يك از علل أربعه باشد، ومي تواند معلول باشد، پس اگر علت بود آن را (برهان لمي) واگر معلول بود آن را (برهان إني) نامند.